functor相关论文
论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律....
提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并......
通过一类特殊的模范畴Rχ（sχ）,使Rχ-包（盖）在Morita context函子作用下转化为sχ-包（盖）,最后利用正向极限的特性,进一步刻画这类特殊......
通过上临界模在Morita context函子作用下所保持的性质，引入了τψ-素挠理论，再讨论τψ-素挠理论的特殊性质；并通过R—tors中CenR(τ......
基于群中元素的交换性，构造了一个函子G：Groups→s -Graphs ，并且构造了其反向函子F：s -Graphs→Groups ，证明了F恰是G的伴随函子。......
文章介绍一种从汉语语句中提取逻辑函子的方法。该方法基于汉语配价理论，用组合逻辑方法将动词结构表示成逻辑函子，解决了多ＮＰ竞争一个......
状态空间爆炸问题是模型检测的最大障碍．从余归纳（特别是余代数）的角度研究了这个问题．用余归纳的方法证明：（1）对于任意给定的一类Kripke......
设C,D是两个范畴,S,T∶C→D是两个函子,η∶S→T是自然变换,另外T0T1C→C×2分别是顶函子和底函子,μ∶T0→T1是自然变换.给出......
本文在余Comma范畴上引进拉回函子概念,并讨论了拉回函子的性质....
本文利用δ函数,采用狄拉克符号,系统的阐述了坐标算符和动量算符分别在坐标和动量表象中的具体形式及相关问题.......
利用一般范畴D构造了新范畴ID和I^opD，证明了若D是Abel范畴，则存在范畴ID到I^opD的忠实函子，且ID也是Abel范畴。......
给出了函子范畴中任意右正合保直和可加函子F与张量函子B自然等价的一个定理.将关于模范畴的Watts定理推广到函子范畴.......
构造范畴WPC，论证它与拓扑分子格范畴CDB等价；并在此基础上阐述经典拓扑范畴TOP是范畴WPC的满子范畴，为研究经典拓扑学与Fuzzy拓扑学......
该文构造了一个从布尔代数范畴到满足可补性质的双重Stone代数范畴的函子，并证明了这个函子有一个等价的左伴随函子。......
研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴Mod C上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范......
